Make GtkToolbar honour css border and padding
authorPaolo Borelli <pborelli@gnome.org>
Sat, 4 Aug 2012 15:22:38 +0000 (17:22 +0200)
committerPaolo Borelli <pborelli@gnome.org>
Sun, 5 Aug 2012 10:52:36 +0000 (12:52 +0200)
commitd0d21a4f00fee2c931dc3217bd89518dfcf7fe2a
tree422bfbdfdcf0b47bbc10705b594bb43528840b4c
parente8dcfad441aad7e03a8a459f3818018bd6ff63c7
Make GtkToolbar honour css border and padding

The widget is already calling gtk_render_frame, but is not measuring css
border and padding when negotiating its size. This patch replaces the
already existing get_internal_padding static helper with a function that
sums the old internal-padding value with the values specified via css.
gtk/gtktoolbar.c